Formal logics

Synonyms for "formal logics" (20 found)

Ranked by relevance and common usage.

Closest matches (4)

Adjective(4 words)
applied logiccalculus of logicceremonialcomputing logic

Strong matches (6)

Adjective(6 words)
conventionaldisciplinefield of logicformal rigorformal systemformalistic

Related words (10)

Adjective(10 words)

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

13 entries
computer sciencecultural practicedescriptorformal systemlinguistic featurelogicmathematicsmodifiernotational propertyreasoningsocial normstyle termtheoretical discipline

More specific

21 entries
axiomatic reasoningceremonialdeductive reasoningdress codeetiquetteformal grammarformal verificationfuzzy logicmodal logicmodel checkingpredicate calculuspredicate logicproceduralproof based reasoningpropositional calculuspropositional logic

Showing 16 of 21 words.

Collocations

12 entries
formal attireformal ceremonyformal dressformal languageformal logicformal procedureformal settinginference rulesmodel checkingpredicate calculuspropositional calculussymbolic logic

Inflections

2 entries
more formalmost formal

Derivations

4 entries